irredundant basis

无赘基